﻿Com o comando trigsimp, uma expressão como tan(x)/cos(x), aplicando propriedades trigonométricas, a expressão é resolvida, obtendo como resultado sin(x)/cos(x)^2